rframe{-}p(${\it es}$;$i$;$x$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$k$:Knd. hasloc($k$;$i$) $\Rightarrow$ $\neg$($k$ $\in$ $L$ $\in$ Knd) $\Rightarrow$ es{-}independent(${\it es}$;$i$;$k$;$x$)